21. Verification of reactive systems
Author: / Klaus Schneider
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Computer systems -- Verification,Formal methods (computer science),Computer algorithms
Classification :
QA
76
.
76
.
V47S34
2004
22. Verification of reactive systems :
Author: Klaus Schneider.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Computer systems -- Verification.,Formal methods (Computer science)
Classification :
QA76
.
76
.
V47
K538
2004
23. Verification of reactive systems: formal methods and algorithms
Author: Schneider, Klaus
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer systems-- Verification,، Formal methods )Computer science(,، Computer algorithms
Classification :
QA
76
.
76
.
V47
.
S34
2003
